const char* va(const char* format, ...);